
test:
	./check_tests.sh

clean:
	rm *.tmp *.tex
